4 results
David Makinson. An alternative characterisation of first-degree entailment. Logique et analyse, n.s. vol. 8 (1965), pp. 308–311. (See Errata, ibid., vol. 9, p. 394.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 521
- Print publication:
- September 1971
-
- Article
- Export citation
Nuel D. BelnapJr., EQ and the first order functional calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 217–218.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 520
- Print publication:
- September 1971
-
- Article
- Export citation
Alan Ross Anderson. Completeness theorems for the systems E of entailment and EQ of entailment with quantification. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 201–216.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 520
- Print publication:
- September 1971
-
- Article
- Export citation
A. R. Anderson and N. D. BelnapJr., First degree entailments. Mathematische Annalen, vol. 149 (1963), pp. 302–319.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 520-521
- Print publication:
- September 1971
-
- Article
- Export citation